Puns and punning in literature